• Article  

      μ-SATPLAN: Multi-agent planning as satisfiability 

      Dimopoulos, Yannis; Hashmi, M. A.; Moraïtis, Pavlos (2012)
      Planning is a fundamental issue in multi-agent systems. In this work we focus on the coordination of multiple agents in two different settings. In the first, agents are able to attain individual goals that are necessary ...